type t = bool
